ABSTRACT AND REFERENCES

A Fully Abstract Game Semantics for General References

A games model of a programming language with higher-order store in the style of ML-references is introduced. The category used for the model is obtained by relaxing certain behavioural conditions on a category of games previously used to provide fully abstract models of pure functional languages. The model is shown to be fully abstract by means of factorization arguments which reduce the questi...

A Fully Abstract Trace Semantics for General References

We describe a fully abstract trace semantics for a functional language with locally declared general references (a fragment of Standard ML). It is based on a bipartite LTS in which states alternate between program and environment configurations and labels carry only (sets of) basic values, location and pointer names. Interaction between programs and environments is either direct (initiating or ...

References for Geometrization Seminar References

[1] L. Ahlfors and L. Bers, Riemann’s mapping theorem for variable metrics, Ann. Math. 72 (1960), pp. 413– 429 [2] F. Bonahon, Bouts des variétés hyperboliques de dimension 3, Ann. Math. 124 (1986), pp. 71–158 [3] D. Epstein and A. Marden, Convex hulls in hyperbolic space, a theorem of Sullivan, and measured pleated surfaces, in Analytical and Geometric Aspects of Hyperbolic Space, LMS 111 (198...

Title (4,000 words exclusive of abstract, acknowledgements, references & figures and tables)

Objectives To examine how the selection of different risk adjustors and statistical approaches affect the profiles of physician groups on patient satisfaction. Data sources Mailed patient surveys. Patients with asthma were selected randomly from each of 20 California physician groups between July 1998 and February 1999. A total of 2,515 patients responded. Study design A cross-sectional study. ...

Links and References - Animals